Revision: tla-tools--devo--0--patch-7
Archive: miles@gnu.org--gnu-2004
Creator: Miles Bader <miles@gnu.org>
Date: Sat Jan  3 16:28:36 JST 2004
Standard-date: 2004-01-03 07:28:36 GMT
New-files: tla-switch.shpp
Modified-files: Makefile.in
New-patches: miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-7
Summary: Add tla-switch command

